13 research outputs found
Notes on divisible MV-algebras
In these notes we study the class of divisible MV-algebras inside the
algebraic hierarchy of MV-algebras with product. We connect divisible
MV-algebras with -vector lattices, we present the divisible hull as
a categorical adjunction and we prove a duality between finitely presented
algebras and rational polyhedra
Lukasiewicz logic and Riesz spaces
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras
endowed with a scalar multiplication with scalars from . Extending
Mundici's equivalence between MV-algebras and -groups, we prove that
Riesz MV-algebras are categorically equivalent with unit intervals in Riesz
spaces with strong unit. Moreover, the subclass of norm-complete Riesz
MV-algebras is equivalent with the class of commutative unital C-algebras.
The propositional calculus that has Riesz MV-algebras as
models is a conservative extension of \L ukasiewicz -valued
propositional calculus and it is complete with respect to evaluations in the
standard model . We prove a normal form theorem for this logic,
extending McNaughton theorem for \L ukasiewicz logic. We define the notions of
quasi-linear combination and quasi-linear span for formulas in and we relate them with the analogue of de Finetti's coherence
criterion for .Comment: To appear in Soft Computin
An analysis of the logic of Riesz Spaces with strong unit
We study \L ukasiewicz logic enriched with a scalar multiplication with
scalars taken in . Its algebraic models, called {\em Riesz MV-algebras},
are, up to isomorphism, unit intervals of Riesz spaces with a strong unit
endowed with an appropriate structure. When only rational scalars are
considered, one gets the class of {\em DMV-algebras} and a corresponding
logical system. Our research follows two objectives. The first one is to deepen
the connections between functional analysis and the logic of Riesz MV-algebras.
The second one is to study the finitely presented MV-algebras, DMV-algebras and
Riesz MV-algebras, connecting them from logical, algebraic and geometric
perspective
Towards understanding the Pierce-Birkhoff conjecture via MV-algebras
Our main issue was to understand the connection between \L ukasiewicz logic
with product and the Pierce-Birkhoff conjecture, and to express it in a
mathematical way. To do this we define the class of \textit{f}MV-algebras,
which are MV-algebras endowed with both an internal binary product and a scalar
product with scalars from . The proper quasi-variety generated by
, with both products interpreted as the real product, provides the
desired framework: the normal form theorem of its corresponding logical system
can be seen as a local version of the Pierce-Birkhoff conjecture
Mutually exclusive nuances of truth in Moisil logic
Moisil logic, having as algebraic counterpart \L ukasiewicz-Moisil algebras,
provide an alternative way to reason about vague information based on the
following principle: a many-valued event is characterized by a family of
Boolean events. However, using the original definition of \L ukasiewicz-Moisil
algebra, the principle does not apply for subalgebras. In this paper we
identify an alternative and equivalent definition for the -valued \L
ukasiewicz-Moisil algebras, in which the determination principle is also saved
for arbitrary subalgebras, which are characterized by a Boolean algebra and a
family of Boolean ideals. As a consequence, we prove a duality result for the
-valued \L ukasiewicz-Moisil algebras, starting from the dual space of their
Boolean center. This leads us to a duality for MV-algebras, since are
equivalent to a subclass of -valued \L ukasiewicz-Moisil algebras